Skip to content

Remove test for 'Matrix(GF(3), [[]]);' (targeting stable-5.6 branch)#1181

Merged
james-d-mitchell merged 1 commit into
semigroups:stable-5.6from
fingolfin:mh/rm-empty-matrix-test-5.6
May 15, 2026
Merged

Remove test for 'Matrix(GF(3), [[]]);' (targeting stable-5.6 branch)#1181
james-d-mitchell merged 1 commit into
semigroups:stable-5.6from
fingolfin:mh/rm-empty-matrix-test-5.6

Conversation

@fingolfin

@fingolfin fingolfin commented May 15, 2026

Copy link
Copy Markdown
Contributor

This is purely testing GAP library code as far as I can tell, and is currently failing on GAP master. For details, see gap-system/gap#6393.

Duplicate of PR #1180 but targeting stable-5.6 -- done in part so that I can see the state of CI there (it seems you run daily CI tests for your main, but not your active stable branch)

This is purely testing GAP library code as far as I can tell, and
is currently failing on GAP master. For details, see
<gap-system/gap#6393>.
@fingolfin

Copy link
Copy Markdown
Contributor Author

@james-d-mitchell @reiniscirpons It seems the CI breakage exists only for the semigroups master branch. So if this PR here could be merged into stable-5.6 and a release be made "quickly" for GAP 4.16.0 that would be awesome.

@james-d-mitchell

Copy link
Copy Markdown
Collaborator

@james-d-mitchell @reiniscirpons It seems the CI breakage exists only for the semigroups master branch. So if this PR here could be merged into stable-5.6 and a release be made "quickly" for GAP 4.16.0 that would be awesome.

Thanks @fingolfin I'll try to make a release tomorrow

@james-d-mitchell james-d-mitchell merged commit fae9d31 into semigroups:stable-5.6 May 15, 2026
37 checks passed
@fingolfin fingolfin deleted the mh/rm-empty-matrix-test-5.6 branch May 16, 2026 10:25
gentoo-bot pushed a commit to gentoo/gentoo that referenced this pull request Jun 15, 2026
Includes semigroups/Semigroups#1181
to fix a failing test that snuck in.

Closes: https://bugs.gentoo.org/977319
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants